========== Prerequisites ========================= 

  To build the MOP PTLTL Engine html frontend 
  you need the ocaml distribution and menhir, a parser 
  generator that is an improvement over ocamlyacc.
  
  The English download page for ocaml is 
  http://caml.inria.fr/download.en.html
  
  menhir can be found at
  http://cristal.inria.fr/~fpottier/menhir/
  
  To run the engine you need a maude installation.  The engine can
  also be run alone (see below).  

=========== Building the html front end ===========

  1)  Edit the Makefile, change OCAMLC to either the path
      to ocamlc or ocamlopt.  Similarly change YACC to your
      path to menhir, and LEX to your path to ocamllex.
      (Note that this will NOT work with ocamlyacc

  2)  On line 8, edit the value maude to be your path to maude on line.
      On line 13, edit work_dir to be your path to this distribution.

  3)  Run make.
      

=========== Running the html front end ===========

  $ cat <example file> | ./ptltl
  or
  ./ptltl < <example file>l
